Extending Telecom Service Design Activities for Early Verification

نویسندگان

  • Iyas Alloush
  • Yvon Kermarrec
چکیده

• Alloush, I.; Chiprianov, V.; Kermarrec, Y. & Rouvrais, S: Linking Telecom Service High-Level Abstract Models to Simulators Based on Model Transformations: The IMS Case Study. Information and Communication Technologies.18th EUNICE/ IFIP, Springer Berlin Heidelberg, 2012. • Alloush, I.; Kermarrec, Y. & Rouvrais, S. A Generalized Model Transformation Approach to Link Design Models to Network Simulators: NS-3 Case Study. 3rd SIMULTECH, Springer Berlin Heidelberg, 2013. (Accepted) • Alloush, I.; Kermarrec, Y. & Rouvrais, S. An Automated Tool Selection Method based on Model Transformation: OPNET and NS-3 Case Study. SPECTS, IEEE, 2013. (Accepted) • Alloush, I.; Kermarrec, Y. & Rouvrais, S. A Transversal Alignment between Measurements and Enterprise Architecture for Early Verification of Telecom Service Design. 19th EUNICE, Springer Berlin Heidelberg, 2013. (Submitted) Our Approach & Methodology

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Test-bed for Verification and Validation Activities in Developing an Operations Support System

This paper describes a test-bed for verification and validation activities in KT-NeOSS (Korea Telecom New Operations Support System) development. In this paper, we show the test phases for performing verification and validation activities during the development and maintenance of KT-NeOSS. We describe the experiences and considerations in building the test-bed for the activities. With this test...

متن کامل

On the Modeling and Verification of a Telecom System Block Using MDGs

In this report, we investigate the ability of MDGs (Multiway Decision Graphs) to carry out a verification process of a large industrial Telecom hardware which is commercialized by PMC-Sierra Inc. Until recently, the Cambridge Fairisle ATM switch fabric with 4200 equivalent gates was the largest industrial like design verified with the MDG tools. The design we consider in this study is a Telecom...

متن کامل

CAP Limits in Telecom Subscriber Database Design

While the notion of a Distributed DBMS has been familiar to the IT industry for several decades, within telecom networks the subscriber data management based on DDBMS technology is a novel addition to a service provider's infrastructure. Service providers are used to telecom networks that are efficient, reliable and easy to maintain and operate, in part thanks to the node model used in designin...

متن کامل

Timing Constraints Support on Petri-Net Model for Healthcare System Design

The worldwide healthcare organizations are facing a number of daunting challenges forcing systems to benefit from modern technologies and telecom capabilities. Hence, systems evolution through extension of the existing information technology infrastructure becomes one of the most challenging aspects of healthcare. In this paper, we present a newly architecture for evolving healthcare systems to...

متن کامل

System level design of telecom systems using formal model refinement: Applying the B method/language in practice

The increasing complexity of modern telecommunication systems is one of the main issues encountered in most telecom products. Despite the plethora of methods and tools for efficient system design, verification and validation phases are still consuming significant part of the overall design time. The proposed approach outlines the use of the B method/language for producing correct-by-constructio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013